c3477d45cf97c6806e0c0ce2d95524eb85a2bb5a,workbench/source/jetbrains/mps/ide/ui/MPSTreeNode.java,MPSTreeNode,keyPressed,#KeyEvent#,130

Before Change


  }

  public void keyPressed(final KeyEvent keyEvent) {
    if (!(keyEvent.isAltDown() && (
      (!SystemInfo.isMac && keyEvent.getKeyCode() == KeyEvent.VK_INSERT) ||
        (SystemInfo.isMac && keyEvent.getKeyCode() == KeyEvent.VK_HELP)))) return;

After Change


  }

  public void keyPressed(final KeyEvent keyEvent) {
    boolean altDown = keyEvent.isAltDown();
    boolean ctrlDown = keyEvent.isControlDown();
    boolean insert = keyEvent.getKeyCode() == KeyEvent.VK_INSERT;
    boolean n = keyEvent.getKeyCode() == KeyEvent.VK_N;